Symmetry Solved: Lightning-Fast Algorithms Unlock New Optimization Possibilities
dev.toΒ·1dΒ·
Discuss: DEV
🎨Graph Coloring
Flag this post
Making SLH-DSA 10x-100x Faster
conduition.ioΒ·5h
πŸ”—Hash Algorithms
Flag this post
Indefiniteness makes lattice reduction easier
arxiv.orgΒ·2d
πŸ”ΆLattice Theory
Flag this post
Discovering physical laws with parallel symbolic enumeration
nature.comΒ·1d
πŸ”ML Language
Flag this post
How LLM Inference Works
arpitbhayani.meΒ·1d
πŸš€Tokenizer Performance
Flag this post
From Raw to Refined: Data Pipeline Architecture at Scale
medium.comΒ·9hΒ·
Discuss: DEV
πŸ”„Copy Propagation
Flag this post
RFT Theorems
reddit.comΒ·1dΒ·
Discuss: r/compsci
πŸ”’Algebraic Datatypes
Flag this post
10000
jro.sgΒ·17h
πŸ“¦Executable Size
Flag this post
A forthcoming problem with bitvm - Supertestnet interrogates Citrea's protocol
telegra.phΒ·1d
πŸ”’Bit Manipulation
Flag this post
Refined Linear Approximations for ARX Ciphers and Their Application to ChaCha
eprint.iacr.orgΒ·1d
πŸ”—Hash Functions
Flag this post
New Al Zimmermann's Programming Contests: Powerful Sums
azspcs.comΒ·8hΒ·
Discuss: Hacker News
🧩Constraint Solvers
Flag this post
AK-TSYS: An enhanced active learning Kriging model for time-dependent system reliability analysis
sciencedirect.comΒ·15h
πŸ”„Loop Optimization
Flag this post
Is Matrix Multiplication Ugly?
mathenchant.wordpress.comΒ·1dΒ·
Discuss: Hacker News
πŸ’«Effect Systems
Flag this post
Unusual circuits in the Intel 386's standard cell logic
righto.comΒ·12hΒ·
πŸ“ŠRegister Machines
Flag this post
Concept-Based Generic Programming -- Bjarne Stroustrup
isocpp.orgΒ·8h
πŸ—‚οΈType Indexing
Flag this post
Downsampling: Largest-Triangle-Three-Buckets and the Fourier Transform
daniel.mitterdorfer.nameΒ·1dΒ·
Discuss: Hacker News
πŸ“¦Compression Algorithms
Flag this post
A New Bridge Links the Strange Math of Infinity to Computer Science
quantamagazine.orgΒ·1dΒ·
♾️Codata Types
Flag this post
The Easiest Way to Build a Type Checker
jimmyhmiller.comΒ·10hΒ·
Discuss: Hacker News
βœ…Type Checking
Flag this post